O-minimal residue fields of o-minimal fields
نویسندگان
چکیده
منابع مشابه
O-minimal residue fields of o-minimal fields
Let R be an o-minimal field with a proper convex subring V . We axiomatize the class of all structures (R, V ) such that kind, the corresponding residue field with structure induced from R via the residue map, is o-minimal. More precisely, in [8] it was shown that certain first order conditions on (R, V ) are sufficient for the o-minimality of kind. Here we prove that these conditions are also ...
متن کاملStrongly minimal expansions of (C,+) definable in o-minimal fields
We characterize those functions f : C → C definable in o-minimal expansions of the reals for which the structure (C,+, f) is strongly minimal: such functions must be complex constructible, possibly after conjugating by a real matrix. In particular we prove a special case of the Zilber Dichotomy: an algebraically closed field is definable in certain strongly minimal structures which are definabl...
متن کاملSaturated O-minimal Expansions of Real Closed Fields
In [KKMZ02] the authors gave a valuation theoretic characterization for a real closed field to be κ-saturated, for a cardinal κ ≥ א0. In this paper, we generalize the result, giving necessary and sufficient conditions for certain o-minimal expansion of a real closed field to be κ-saturated.
متن کاملAn additive measure in o-minimal expansions of fields
Given an o-minimal structure M which expands a field, we define, for each positive integer d, a real valued additive measure on a Boolean algebra of subsets of Md and we prove that all the definable sets included in the finite part Fin(Md) of Md are measurable. When the domain of M is R we obtain the Lebesgue measure, but restricted to a proper subalgebra of that of the Lebesgue measurable sets...
متن کاملModel Completeness of O-Minimal Fields with Convex Valuations
We let R be an o-minimal expansion of a field, V a convex subring, and (R0, V0) an elementary substructure of (R, V ). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate for V , and we let LR0 be the language L expanded by constants for all elements of R0. Our main result is that (R, V ) considered as an LR0-structure is model com...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2011
ISSN: 0168-0072
DOI: 10.1016/j.apal.2010.12.004